閉じている (数学)
$ 集合Xは演算fについて閉じている:\iff\forall X_1,X_2,\cdots,X_n\in X;f(X_1,X_2,\cdots,X_n)\in X
$ nは演算$ fの引数の数
「$ fが定義域$ X^nから終域$ Xへの写像である」とも言い換えられる
ある集合の要素に対して行った演算の結果が、再び同じ集合の要素になること
#2021-08-26 14:36:44